Fundraising September 15, 2024 – October 1, 2024 About fundraising
4

The temporal semantics of concurrent programs

Year:
1981
Language:
english
File:
PDF, 1.45 MB
english, 1981
5

Synthesis of Reactive(1) designs

Year:
2012
Language:
english
File:
PDF, 708 KB
english, 2012
7

Axiomatic approach to total correctness of programs

Year:
1974
Language:
english
File:
PDF, 856 KB
english, 1974
8

Models for reactivity

Year:
1993
Language:
english
File:
PDF, 3.08 MB
english, 1993
9

Model Checking with Strong Fairness

Year:
2006
Language:
english
File:
PDF, 407 KB
english, 2006
16

Propositional dynamic logic of nonregular programs

Year:
1983
Language:
english
File:
PDF, 1.36 MB
english, 1983
17

A direct algorithm for checking equivalence of LL(k) grammars

Year:
1977
Language:
english
File:
PDF, 2.98 MB
english, 1977
19

Preface

Year:
1995
Language:
english
File:
PDF, 92 KB
english, 1995
20

The grammar of dimensions in machine drawings

Year:
1988
Language:
english
File:
PDF, 1000 KB
english, 1988
22

Reduced Functional Consistency of Uninterpreted Functions

Year:
2006
Language:
english
File:
PDF, 244 KB
english, 2006
23

Monitoring Interfaces for Faults

Year:
2006
Language:
english
File:
PDF, 333 KB
english, 2006
25

A compositional approach to verification

Year:
2005
Language:
english
File:
PDF, 452 KB
english, 2005
28

A proof method for cyclic programs

Year:
1978
Language:
english
File:
PDF, 1.15 MB
english, 1978
29

Backtracking in recursive computations

Year:
1977
Language:
english
File:
PDF, 998 KB
english, 1977
30

The temporal logic of branching time

Year:
1983
Language:
english
File:
PDF, 948 KB
english, 1983
31

Verification of multiprocess probabilistic protocols

Year:
1986
Language:
english
File:
PDF, 1.53 MB
english, 1986
32

Verification of clocked and hybrid systems

Year:
2000
Language:
english
File:
PDF, 688 KB
english, 2000
33

Proving refinement using transduction

Year:
1999
Language:
english
File:
PDF, 259 KB
english, 1999
34

Liveness with invisible ranking

Year:
2006
Language:
english
File:
PDF, 2.48 MB
english, 2006
37

Completing the temporal picture

Year:
1991
Language:
english
File:
PDF, 2.54 MB
english, 1991
38

Proving partial order properties

Year:
1994
Language:
english
File:
PDF, 2.68 MB
english, 1994
39

Validating More Loop Optimizations

Year:
2005
Language:
english
File:
PDF, 294 KB
english, 2005
41

TimeC: A Time Constraint Language for ILP Processor Compilation

Year:
2002
Language:
english
File:
PDF, 580 KB
english, 2002
42

Verification by Augmented Finitary Abstraction

Year:
2000
Language:
english
File:
PDF, 556 KB
english, 2000
43

The Small Model Property: How Small Can It Be?

Year:
2002
Language:
english
File:
PDF, 147 KB
english, 2002
44

Bridging the gap between fair simulation and trace inclusion

Year:
2005
Language:
english
File:
PDF, 433 KB
english, 2005
46

Verification of multi-linked heaps

Year:
2012
Language:
english
File:
PDF, 398 KB
english, 2012
47

Once and for all

Year:
2012
Language:
english
File:
PDF, 284 KB
english, 2012